<?xml version="1.0" encoding="ISO-8859-1"?>
<metadatalist>
	<metadata ReferenceType="Conference Proceedings">
		<site>plutao.sid.inpe.br 800</site>
		<holdercode>{isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}</holdercode>
		<identifier>J8LNKAN8RW/3E7UF2U</identifier>
		<repository>dpi.inpe.br/plutao/2013/05.31.17.23.59</repository>
		<lastupdate>2013:07.15.14.36.34 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator</lastupdate>
		<metadatarepository>dpi.inpe.br/plutao/2013/05.31.17.24</metadatarepository>
		<metadatalastupdate>2021:02.11.20.56.49 sid.inpe.br/bibdigital@80/2006/04.07.15.50 administrator</metadatalastupdate>
		<isbn>978-85-7669-274-4</isbn>
		<label>lattes: 4522542236886713 2 CassianoFoTikaAmbr:2013:VaSaSp</label>
		<citationkey>CassianoFoTikaAmbr:2013:VaSaSp</citationkey>
		<title>Validation of the Satellite Speed Measurement System with the Use of Finite State Machine for Test Case Generation</title>
		<format>DVD</format>
		<year>2013</year>
		<secondarytype>PRE CI</secondarytype>
		<numberoffiles>1</numberoffiles>
		<size>698 KiB</size>
		<author>Cassiano Filho, Antonio,</author>
		<author>Tikami, Auro,</author>
		<author>Ambrosio, Ana Maria,</author>
		<resumeid></resumeid>
		<resumeid></resumeid>
		<resumeid>8JMKD3MGP5W/3C9JGH7</resumeid>
		<group></group>
		<group>CSE-ETES-SPG-INPE-MCTI-GOV-BR</group>
		<group>DSE-ETE-INPE-MCTI-GOV-BR</group>
		<affiliation></affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<electronicmailaddress>cassiano.filho@inpe.br</electronicmailaddress>
		<electronicmailaddress>auro.tikami@inpe.br</electronicmailaddress>
		<electronicmailaddress>ana.ambrosio@inpe.br</electronicmailaddress>
		<e-mailaddress>auro.tikami@inpe.br</e-mailaddress>
		<conferencename>Latin-American Symposium on Dependable Computing, 6 (LADC'2013).</conferencename>
		<conferencelocation>Rio de Janeiro</conferencelocation>
		<date>2-5 abr. 2013</date>
		<pages>107-110</pages>
		<booktitle>Proceedings</booktitle>
		<tertiarytype>Paper</tertiarytype>
		<transferableflag>1</transferableflag>
		<contenttype>External Contribution</contenttype>
		<versiontype>publisher</versiontype>
		<keywords>Finite State Machine, Test Case Generation, JPlavisFSM platform, satellite, system under test, Modeling.</keywords>
		<abstract>The area of Model Based Software Testing is of interest to researchers, professional experts in testing and development as well as to the industrial sector. Several test methods are proposed in the literature for the validation of a computational system. This paper presents the experience of using finite-state machine (FSM) to model a system for automatically test generation applied to a software system of the space area. Starting from the functional requirement of the Satellite Speed Measurement (SSM) developed by National Institute for Space Research (INPE), the system behavior is modeled and the JPlavisFSM platform is used to automatically generate test-case sets. This platform provides different FSM based methods for system validation purposes. The test-case sets (each set is resulted from one method) are compared and evaluated according to the cost of generation and their size. The paper also discusses the efficiency of practical application.</abstract>
		<area>ETES</area>
		<language>en</language>
		<targetfile>0030.pdf</targetfile>
		<usergroup>lattes</usergroup>
		<usergroup>marcelo.pazos@inpe.br</usergroup>
		<usergroup>marciana</usergroup>
		<usergroup>self-uploading-INPE-MCTI-GOV-BR</usergroup>
		<readergroup>administrator</readergroup>
		<readergroup>marcelo.pazos@inpe.br</readergroup>
		<readergroup>marciana</readergroup>
		<visibility>shown</visibility>
		<readpermission>allow from all</readpermission>
		<documentstage>not transferred</documentstage>
		<tertiarymark>Trabalho Vinculado à Tese/Dissertação</tertiarymark>
		<mirrorrepository>iconet.com.br/banon/2006/11.26.21.31</mirrorrepository>
		<nexthigherunit>8JMKD3MGPCW/3F35BSP</nexthigherunit>
		<nexthigherunit>8JMKD3MGPCW/446AUSL</nexthigherunit>
		<citingitemlist>sid.inpe.br/bibdigital/2013/10.14.22.20 1</citingitemlist>
		<citingitemlist>sid.inpe.br/bibdigital/2021/02.11.20.54 1</citingitemlist>
		<url>http://www.lbd.dcc.ufmg.br/colecoes/ladc/2013/0030.pdf</url>
		<hostcollection>dpi.inpe.br/plutao@80/2008/08.19.15.01</hostcollection>
		<notes>Setores de Atividade: Telecomunicações.</notes>
		<lasthostcollection>dpi.inpe.br/plutao@80/2008/08.19.15.01</lasthostcollection>
		<url>http://plutao.sid.inpe.br/rep-/dpi.inpe.br/plutao/2013/05.31.17.23.59</url>
	</metadata>
</metadatalist>